Extender Based Radin Forcing
نویسنده
چکیده
We define extender sequences, generalizing measure sequences of Radin forcing. Using the extender sequences, we show how to combine the Gitik-Magidor forcing for adding many Prikry sequenes with Radin forcing. We show that this forcing satisfies a Prikry like condition destroys no cardinals, and has a kind of properness. Depending on the large cardinals we start with this forcing can blow the power of a cardinal together with changing its’ cofinality to a prescirbe value. It can even blow the power of a cardinal while keeping it regular or measurable.
منابع مشابه
Coherent Sequences versus Radin Sequences
We attempt to make a connection between the sequences of measures used to deene Radin forcing and the coherent sequences of ex-tenders which are the basis of modern inner model theory. We show that in certain circumstances we can read oo sequences of measures as deened by Radin from coherent sequences of extenders, and that we can deene Radin forcing directly from a coherent extender sequence a...
متن کاملA power function with a fixed finite gap everywhere
We give an application of our extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2 = κ together with 2 = λ for each cardinal λ < κ, where 0 < n < ω. The cofinality of κ can be set arbitrarily or κ can remain inaccessible. When κ remains an inaccessible, Vκ is a model of ZFC satisfying 2 = λ for all cardinals λ.
متن کاملRadin forcing and its iterations
We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing using coherent sequences of ultrafilters. This version of Radin forcing includes as special cases the Prikry forcing and Magidor forcing, both the measurable and supercompact versions. We also introduce some methods for...
متن کاملPrikry Forcing with Long Extenders
In this note, we go through Gitik’s Long Extender forcing. In order to motivate it, work through the basic Pirkry forcing as well as the diagonal Prikry forcing. The presentation here is based on Spencer Unger’s lectures from the 2015 GSST in addition to Gitik’s Handbook chapter.
متن کاملModified Extender based forcing
We analyze the modified extender based forcing from Assaf Sharon’s PhD thesis. We show there is a bad scale in the extension and therefore weak square fails. We also present two metatheorems which give a rough characterization of when a diagonal Prikry-type forcing forces the failure of weak square.
متن کامل